Advances in noise-based testing of concurrent software

نویسندگان

  • Jan Fiedor
  • Vendula Hrubá
  • Bohuslav Krena
  • Zdenek Letko
  • Shmuel Ur
  • Tomás Vojnar
چکیده

Testing of concurrent software written in programming languages like Java and C/C++ is a highly challenging task due to the many possible interactions among threads. A simple, cheap, and effective approach that addresses this challenge is testing with noise injection which influences the scheduling so that different interleavings of concurrent actions are witnessed. In this paper, multiple results achieved recently in the area of noise-injection-based testing by the authors are presented in a unified and extended way. In particular, various concurrency coverage metrics are presented first. Then, multiple heuristics for solving the noise placement problem (i.e., where and when to generate noise) as well as the noise seeding problem (i.e., how to generate the noise) are introduced and experimentally evaluated. In addition, several new heuristics are proposed and included into the evaluation too. Recommendations on how to set up noise-based testing for particular scenarios are then given. Finally, a novel use of the genetic algorithm for finding suitable combinations of the many parameters of tests and noise techniques is presented. Copyright c © 2013 John Wiley & Sons, Ltd.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Concurrent Dual-Band Low Noise Amplifier for GNSS Receivers

In this paper, a new design of concurrent dual-band Low Noise Amplifier (LNA) for multi-band single-channel Global Navigation Satellite System (GNSS) receivers is proposed. This new structure is able to operate concurrently at frequency of 1.2 and 1.57 GHz. Parallel and series resonance parts are employed in the input matching in order to achieve concurrent performance. With respect to used pse...

متن کامل

ارتباط مواجهه همزمان با حلال‌های آلی و صدا بر افت شنوایی در فرکانس بالا در کارگران کارخانه لاستیک‌سازی

Introduction: Based on the results of some studies, concurrent exposure to organic solvents and noise in industrial areas can accelerate the amount of hearing loss. The aim of this study was to assess the effect of concurrent exposure to organic solvents and noise on high frequency hearing loss. Method: This was a cross-sectional analytic study conducted on 1029 tire manufacturing company wo...

متن کامل

Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise

A noise maker is a tool for testing multi-threaded programs. It seeds shared memory accesses and synchronization events (concurrent events) with conditional context switches and timeouts during runtime, in order to increase the likelihood that a concurrent bug manifests itself. However, an instrumented program with many seeded events may not be useful for debugging; events have been seeded all ...

متن کامل

Study of Noise Map and its Features in an Indoor Work Environment through GIS-Based Software

Background: Noise mapping in industry can be useful to assess the risks of harmful noise, or to monitor noise in machine rooms. Using GIS -based software for plot of noise maps in an indoor noisy work environment can be helpful for occupational hygienists to monitor noise pollution. Methods: This study was carried out in noisy packaging unit of a food industry in Ghazvin industrial zone, to ev...

متن کامل

Noise pollution and its spatial distribution in urban environments (case study: Yazd city, Iran)

This study focuses on identifying source and frequency of noise pollution in Yazd, Iran. For data collection, we used two approaches: First we selected 55 monitoring stations for 122 km grid network; the distance between two stations was 2 km. Then, at the same time, we measured the sound pressure level (SPL) at main roads; the distance between two monitoring stations in this case was 1 km. Aft...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Softw. Test., Verif. Reliab.

دوره 25  شماره 

صفحات  -

تاریخ انتشار 2015